Prototype of a Decision Table Generation Tool from the Formal Specification
نویسندگان
چکیده
منابع مشابه
UNIX STREAMS Generation from a Formal Specification
This paper describes a new idea of rapid protocol implementation starting from its formal specification, namely to generate Unix STREAMS modules. We have exercised this idea using Estelle formal specification technique. The generator was written for Linux system. The paper demonstrates how the semantic problems were resolved and gives some conclusions from generations we have performed.
متن کاملFormal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility of accomplishing system properties validation. This paper proposes a Controlled Natural Language (CNL), use case specification templates, and a strategy and tool support to generate process algebraic formal models (in CSP n...
متن کاملOn Formal Specification of a Proof Tool
Tools and methods for the specification and design of computer systems are increasing in sophistication. Much current research and development is attempting to exploit this sophistication to improve the effectiveness of systems development practices. It is becoming feasible to offer much higher assurance than hitherto that systems meet critical requirements, e.g. concerning safety or security. ...
متن کاملA Prototype Generic Tool Supporting the Embedding of Formal Notations
In this paper, we describe the design and implementation of a prototype tool designed to support the embedding of one formal notation within another. The tool is designed primarily to support the automatic embedding of specification notations such as Z or AMN into the notations of generic theorem provers such as HOL or PVS. It is written in Java , which enables novel features such as dynamic ex...
متن کاملfrom linguistics to literature: a linguistic approach to the study of linguistic deviations in the turkish divan of shahriar
chapter i provides an overview of structural linguistics and touches upon the saussurean dichotomies with the final goal of exploring their relevance to the stylistic studies of literature. to provide evidence for the singificance of the study, chapter ii deals with the controversial issue of linguistics and literature, and presents opposing views which, at the same time, have been central to t...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Robotics, Networking and Artificial Life
سال: 2015
ISSN: 2352-6386
DOI: 10.2991/jrnal.2015.2.3.15